A note on Kripke's distinction between rigid designators and nonrigid designators.

JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic

Authors: Sitansu S. Chakravarti

Modal Logics That Need Very Large Frames

JOURNAL ARTICLE published 1 April 1999 in Notre Dame Journal of Formal Logic

Authors: Marcus Kracht

Book Review: Grzegorz Malinowski Many-Valued Logics

JOURNAL ARTICLE published 1 July 1994 in Notre Dame Journal of Formal Logic

Authors: Alasdair Urquhart

Ontology in the Tractatus of L. Wittgenstein.

JOURNAL ARTICLE published 1 January 1968 in Notre Dame Journal of Formal Logic

Authors: Roman Suszko

A note on Philip Kitcher's analysis of mathematical truth.

JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic

Authors: Thomas M. Norton-Smith

The ancestral relation without classes.

JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic

Authors: Kenneth G. Lucey

The extended calculus of indications interpreted as a three-valued logic.

JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic

Authors: Francisco J. Varela

A strengthening of Scott's ${rm ZF}^{not=}$ result.

JOURNAL ARTICLE published 1 June 1990 in Notre Dame Journal of Formal Logic

Authors: Stephen Pollard

Unifying some modifications of the Henkin construction.

JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic

Authors: George Weaver

On an unsound proof of the existence of possible worlds.

JOURNAL ARTICLE published 1 September 1989 in Notre Dame Journal of Formal Logic

Authors: Christopher Menzel

On the nonaxiomatizability of some logics by finitely many schemas.

JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic

Authors: Saharon Shelah | Charles Steinhorn

Unneeded surgery on Aristotle's Prior analytics.

JOURNAL ARTICLE published 1 October 1984 in Notre Dame Journal of Formal Logic

Authors: Evelyn M. Barker

Number system for the immediate inferences and the syllogism in Aristotelian logic.

JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic

Authors: Edward A. Hacker

Strong normalization for typed terms with surjective pairing.

JOURNAL ARTICLE published 1 October 1986 in Notre Dame Journal of Formal Logic

Authors: A. S. Troelstra

Syntactically free, semantically bound. A note on variables.

JOURNAL ARTICLE published 1 April 1968 in Notre Dame Journal of Formal Logic

Authors: Hugues Leblanc

Syllogisms with reduplication in Aristotle.

JOURNAL ARTICLE published 1 October 1982 in Notre Dame Journal of Formal Logic

Authors: Allan Bäck

A note on arbitrarily complex recursive functions.

JOURNAL ARTICLE published 1 March 1988 in Notre Dame Journal of Formal Logic

Authors: Carl H. Smith

Real reduced models for relevant logics without ${rm WI}$.

JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic

Authors: Steve Giambrone

An Intensional Schrödinger Logic

JOURNAL ARTICLE published 1 April 1997 in Notre Dame Journal of Formal Logic

Authors: Décio Krause | Newton C. A. da Costa

Introduction to Life, Art, and Mysticism

JOURNAL ARTICLE published 1 July 1996 in Notre Dame Journal of Formal Logic

Authors: Walter P. Van Stigt